EXTRA_DIST = user.pdf user.ps
